In memory of our good friend and colleague — Anatoliy Andreevich Pasynkov
نویسندگان
چکیده
منابع مشابه
A NOTE ON REWRITING THEORY FOR UNIQUENESS OF ITERATION Dedicated to our friend and colleague
Uniqueness for higher type term constructors in lambda calculi (e.g. surjective pairing for product types, or uniqueness of iterators on the natural numbers) is easily expressed using universally quanti ed conditional equations. We use a technique of Lambek[18] involving Mal'cev operators to equationally express uniqueness of iteration (more generally, higher-order primitive recursion) in a sim...
متن کاملEvangelos Anastassakis: Scientist, Colleague and Friend
I first met Evangelos at the University of Pennsylvania in the Fall of 1969. Fred Pollak and I had started setting up a Raman laboratory at Brown University and, given Fred’s interest and experience in uniaxial stress techniques, we had decided to launch a program for measuring the effect of such stress on Raman phonons in solids, in particular semiconductors. We decided to begin with silicon. ...
متن کاملThomas G. Pickering: friend, colleague and scientist.
We, in common with many others, realized that with his passing, an era in hypertension research had also ended, and that it would be remiss of us and of ‘Blood Pressure Monitoring’ on which he served with us as a senior editor for so many years, if we did not pay tribute to his remarkable achievements. We acknowledge it as a tribute to the friendship and respect that Tom inspired across the wor...
متن کاملA NOTE ON REWRITING THEORY FOR UNIQUENESS OFITERATIONDedicated to our friend and colleague Jim
Uniqueness for higher type term constructors in lambda calculi (e.g. surjective pairing for product types, or uniqueness of iterators on the natural numbers) is easily expressed using universally quantiied conditional equations. We use a technique of Lambekk18] involving Mal'cev operators to equationally express uniqueness of iteration (more generally, higher-order primitive recursion) in a sim...
متن کاملMemories of Cas Jeekel, friend, colleague, and role model
Nearly everyone has experienced an event that exerted a profound influence on some aspect of their life; often the full impact of that milestone is not fully appreciated until much later through the filter of retrospection. The first such event that established the course of my own scientific career occurred in November of 1946, when, searching for some group of animals to investigate, I attemp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Geology and Mineral Resources of World Ocean
سال: 2020
ISSN: 1999-7566,2664-5947
DOI: 10.15407/gpimo2020.02.095